match () with
| A (b) -> ()
